Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced

Source URL: www.lix.polytechnique.fr

• Mathematics
• Mathematical analysis
• Numerical analysis
• Geometry
• Functions and mappings
• Affine geometry
• Affine arithmetic
• Interval arithmetic
• Quasigroup
• Abstract interpretation
• Logarithm
• Derivative

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2

Source URL: web.cs.ucdavis.edu

• Software engineering
• Computer programming
• Software testing
• Software metrics
• Abstract interpretation
• Symbolic execution
• Assertion
• Constant
• Code coverage

Abstract Interpretation: Exercises for day 4 [Note: you are welcome to solve these exercises in groups of 2] February 5, Develop the =0, <>0, +1 and -1 operations for the interval domain 2. Implement the interval

Source URL: janmidtgaard.dk

Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su

Source URL: www.lix.polytechnique.fr

• Mathematics
• Affine geometry
• Affine arithmetic
• Affine space
• Lambda calculus
• Abstract interpretation
• Function

A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract

Source URL: folk.uio.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Predicate logic
• Formal languages
• Logic in computer science
• First-order logic
• Interpretation
• Modal logic
• Axiom
• Equality

Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Constraint logic programming
• Prolog
• Programming language
• Partial evaluation
• Functional programming
• Constraint programming
• Abstract interpretation
• Logic programming

A curve and its abstract Jacobian Boris Zilber University of Oxford August 22, 2012 Abstract Let C(K) be the K-points of a smooth projective curve C of genus

Source URL: people.maths.ox.ac.uk

• Mathematics
• Algebra
• Abstract algebra
• Model theory
• Algebraic varieties
• Functions and mappings
• Algebraic curves
• Morphism of algebraic varieties
• Interpretation
• Elliptic curve
• Divisor
• Strongly minimal theory

The Zonotope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, FGif-sur-Yvette Cedex, France,

Source URL: www.lix.polytechnique.fr

• Numerical analysis
• Affine geometry
• Operations research
• Affine arithmetic
• Abstract interpretation
• Semidefinite programming
• Polyhedron
• Interval arithmetic
• Fixed point

Abstract Interpretation Jan Midtgaard Winter School, Day 1 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015

Source URL: janmidtgaard.dk

• Compiler construction
• Programming language implementation
• Syntax
• Compiler
• Radhia Cousot
• Semantics
• Parsing
• Abstract interpretation
• Abstract syntax tree
• Lexical analysis
• XPL
• Analysis

Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract

Source URL: people.rennes.inria.fr

• Formal methods
• Type theory
• Dependently typed programming
• Theoretical computer science
• Logic in computer science
• Coq
• Abstract interpretation
• CurryHoward correspondence
• Predicate transformer semantics
• Proof-carrying code
• Correctness
• Lines of Action